Towards a Mathematical Foundation For Design Patterns
نویسندگان
چکیده
We identify a compact and sufficient set of building blocks which constitute most design patterns of the GoF catalog: uniform sets of classes or functions, function clans, class hierarchies, and regularities (morphisms) thereof. The abstractions observed are manifested within a model in symbolic logic and defined in LePUS, a declarative, higher order language. LePUS formulae concisely prescribe design patterns in a general, complete, and accurate manner. We provide a natural, condensed graphic notation for every LePUS formula and demonstrate how design patterns are faithfully portrayed by diagrams in this notation. We conclude by defining refinement (specialization) between patterns by means of predicate calculus and illustrate how the logical formalism of LePUS facilitates tool support for the recognition and implementation of design patterns.
منابع مشابه
A Mathematical Model for Cell Formation in CMS Using Sequence Data
Cell formation problem in Cellular Manufacturing System (CMS) design has derived the attention of researchers for more than three decades. However, use of sequence data for cell formation has been the least investigated area. Sequence data provides valuable information about the flow patterns of various jobs in a manufacturing system. This paper presents a new mathematical model to solve a cell...
متن کاملTowards a Mathematical Foundation for Service-Oriented Applications Design
Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design methodology should be grounded on proper mathematical foundations, specific service-oriented principles, concepts and patterns. This paper contributes to the above goal proposing a lightweight, but complete, mathematical framewo...
متن کاملDesign and Development of Mathematical Model for Static Mixer
A numerical model for simulating Residence Time Distribution (RTD) of turbulent flows in helical static mixers is proposed and developed to improve the understanding of static mixers. The results of this model is presented in terms of different volumetric flow rate to illustrate the complicated flow patterns that drive the mixing process i...
متن کاملThe effectiveness of film therapy on communication patterns and expressing positive feelings towards the spouse among couples with marital conflict
The aim of this study was to determine the effectiveness of film therapy on communication patterns and expressing positive feelings to spouses among couples with marital conflicts. This research utilized a pre-test and post-test experimental design with a control group and in this study, the study population was all couples referred to Valiasr Neighborhood in Tehran in the year 2019 who were se...
متن کاملMaraghe Observatory and an Effort towards Retrieval of Architectural Design of Astronomical Units
Maraghe observatory was built by such engineers as Moayiededdin Orozi etc. under supervision of Khaje Nasireddin Tousi in 7th century AH. The most significant feature associated with Maraghe observatory is the fact that architecture is employed to achieve astronomical purposes in this site. The reason for preferring observatory by astronomers was the fact that these units are superior to wooden...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998